Greening plans as (re)presentation of the city : toward an inclusive and gender-sensitive approach to urban greenspaces

Altres ajuts: acords transformatius de la UABUnidad de excelencia María de Maeztu CEX2019-000940-MCities around the world are increasingly expanding their sustainability agendas and adopting urban green and blue infrastructure planning as a strategy to become more resilient, healthy and sustainable. However, the development of urban greening governance often lacks a holistic vision that considers social inequities within the planning, implementation and management of green and blue spaces. Further, gender inequities have been a specific dimension particularly overlooked in urban greening planning, despite gender concerns gaining increasing political relevance in recent years. In this research, we assessed the extento to which social and gender equity are being considered in urban greening plans and projects at the local level. We chose Barcelona (Spain) as main case study due to its pioneering role in implementing crosscutting equity and gender policies at the municipal level. Building on document analysis and semi-structured interviews with key stakeholders, we examined how social justice and gender are understood and operationalized in practice, from the design phase to implementation and maintenance of greening projects. Our findings suggest a shift in the role of urban greening which evolved from an ornamental role to a multifunctional vision of greening and is recently incorporating equity and inclusivity concerns. We identified three action areas of inclusive, gender-sensitive urban green planning practices: first, the incorporation of inclusivity and care as guiding visible values to recognize multiple needs of city residents; second, urban design for different uses and perceptions of greenspaces, particularly in relation to accessibility and autonomy; and third, the awareness and expertise from municipal staff vis-à-vis the consideration of social and gender equity in green planning and participatory approaches. Finally, we provide practical examples of the strategies that the City of Barcelona is implementing in each area and discuss some challenges and limitations, including what we identify as ad hoc intersectional greening

Tracing and building up environmental justice considerations in the urban ecosystem service literature : A systematic review

Unidad de excelencia María de Maeztu CEX2019-000940-MAltres ajuts: Acord transformatiu CRUE-CSICThe concept of ecosystem services (ES) has mainstreamed as an interdisciplinary framework in the urban sustainability and resilience agenda. While the uptake of ES in urban areas is deeply entangled with multiple values, trade-offs, institutions, management and planning approaches, there is still a lack of a comprehensive and systematic framework to address environmental justice (EJ) in urban ES assessments. This article presents a systematic literature review to examine what factors are critical for the effective inclusion of an EJ lens in urban ES appraisals. More specifically, we assessed how distributional, procedural and recognitional EJ dimensions have been addressed, and in relation to which types of urban ES. Our results reveal that EJ considerations are currently focused on the (un)equal distribution of ES and the associated green and blue infrastructure with regard to socioeconomic groups, with special attention to income and race/ethnicity as the main mechanisms of social stratification. There is also a predominant focus on regulating and cultural ES, analyzing their role on resilience and adaptive capacity on one hand, and recreational values, social cohesion and place-making on the other. In this review, we also evaluate the interconnected dimensions of justice and their constraints, and lay out pathways for new research into intersectional and restorative approaches to justice in ES assessments. Finally, we interrogate what the role of urban ES-based planning might be in making more inclusive and just cities and explore its implications for policy and practice

Speeding up the constraint-based method in difference logic

"The final publication is available at http://link.springer.com/chapter/10.1007%2F978-3-319-40970-2_18"Over the years the constraint-based method has been successfully applied to a wide range of problems in program analysis, from invariant generation to termination and non-termination proving. Quite often the semantics of the program under study as well as the properties to be generated belong to difference logic, i.e., the fragment of linear arithmetic where atoms are inequalities of the form u v = k. However, so far constraint-based techniques have not exploited this fact: in general, Farkas’ Lemma is used to produce the constraints over template unknowns, which leads to non-linear SMT problems. Based on classical results of graph theory, in this paper we propose new encodings for generating these constraints when program semantics and templates belong to difference logic. Thanks to this approach, instead of a heavyweight non-linear arithmetic solver, a much cheaper SMT solver for difference logic or linear integer arithmetic can be employed for solving the resulting constraints. We present encouraging experimental results that show the high impact of the proposed techniques on the performance of the VeryMax verification systemPeer ReviewedPostprint (author's final draft

aspcud: A Linux Package Configuration Tool Based on Answer Set Programming

We present the Linux package configuration tool aspcud based on Answer Set Programming. In particular, we detail aspcud's preprocessor turning a CUDF specification into a set of logical facts.Comment: In Proceedings LoCoCo 2011, arXiv:1108.609

Unifying Reasoning and Core-Guided Search for Maximum Satisfiability

A central algorithmic paradigm in maximum satisfiability solving geared towards real-world optimization problems is the core-guided approach. Furthermore, recent progress on preprocessing techniques is bringing in additional reasoning techniques to MaxSAT solving. Towards realizing their combined potential, understanding formal underpinnings of interleavings of preprocessing-style reasoning and core-guided algorithms is important. It turns out that earlier proposed notions for establishing correctness of core-guided algorithms and preprocessing, respectively, are not enough for capturing correctness of interleavings of the techniques. We provide an in-depth analysis of these and related MaxSAT instance transformations, and propose correction set reducibility as a notion that captures inprocessing MaxSAT solving within a state-transition style abstract MaxSAT solving framework. Furthermore, we establish a general theorem of correctness for applications of SAT-based preprocessing techniques in MaxSAT. The results pave way for generic techniques for arguing about the formal correctness of MaxSAT algorithms.Peer reviewe

A randomized controlled trial for overweight and obesity in preschoolers: the More and Less Europe study- an intervention within the STOP project

Background Childhood overweight and obesity is a serious public health issue with an increase being observed in preschool-aged children. Treating childhood obesity is difficult and few countries use standardized treatments. Therefore, there is a need to find effective approaches that are feasible for both health care providers and families. Thus, the overall aim of this study is to assess the acceptance and effectiveness of a parent support program (the More and Less, ML) for the management of overweight and obesity followed by a mobile health (mHealth) program (the MINISTOP application) in a socially diverse population of families. Methods/design A two-arm, parallel design randomized controlled trial in 300 2-to 6-year-old children with overweight and obesity from Romania, Spain and Sweden (n = 100 from each). Following baseline assessments children are randomized into the intervention or control group in a 1:1 ratio. The intervention, the ML program, consists of 10-weekly group sessions which focus on evidence-based parenting practices, followed by the previously validated MINISTOP application for 6-months to support healthy eating and physical activity behaviors. The primary outcome is change in body mass index (BMI) z-score after 9-months and secondary outcomes include: waist circumference, eating behavior (Child Eating Behavior Questionnaire), parenting behavior (Comprehensive Feeding Practices Questionnaire), physical activity (ActiGraph wGT3x-BT), dietary patterns (based on metabolic markers from urine and 24 h dietary recalls), epigenetic and gut hormones (fasting blood samples), and the overall acceptance of the overweight and obesity management in young children (semi-structured interviews). Outcomes are measured at baseline and after: 10-weeks (only BMI z-score, waist circumference), 9-months (all outcomes), 15- and 21-months (all outcomes except physical activity, dietary patterns, epigenetics and gut hormones) post-baseline. Discussion This study will evaluate a parent support program for weight management in young children in three European countries. To boost the effect of the ML program the families will be supported by an app for 6-months. If the program is found to be effective, it has the potential to be implemented into routine care to reduce overweight and obesity in young children and the app could prove to be a viable option for sustained effects of the care provided. Trial registration ClinicalTrials.gov NCT03800823; 11 Jan 2019

Pasados y presente. Estudios para el profesor Ricardo García Cárcel

Ricardo García Cárcel (Requena, 1948) estudió Historia en Valencia bajo el magisterio de Joan Reglà, con quien formó parte del primer profesorado de historia moderna en la Universidad Autónoma de Barcelona. En esta universidad, desde hace prácticamente cincuenta años, ha desarrollado una extraordinaria labor docente y de investigación marcada por un sagaz instinto histórico, que le ha convertido en pionero de casi todo lo que ha estudiado: las Germanías, la historia de la Cataluña moderna, la Inquisición, las culturas del Siglo de Oro, la Leyenda Negra, Felipe II, Felipe V, Austrias y Borbones, la guerra de la Independencia, la historia cultural, los mitos de la historia de España... Muy pocos tienen su capacidad para reflexionar, ordenar, analizar, conceptualizar y proponer una visión amplia y llena de matices sobre el pasado y las interpretaciones historiográficas. A su laboriosidad inimitable se añade una dedicación sin límites en el asesoramiento de alumnos e investigadores e impulsando revistas, dosieres, seminarios o publicaciones colectivas. Una mínima correspondencia a su generosidad lo constituye este volumen a manera de ineludible agradecimiento

Solving (weighted) partial MaxSAT through satisfiability testing

Recently, Fu and Malik described an unweighted Partial MaxSAT solver based on successive calls to a SAT solver. At the kth iteration the SAT solver tries to certify that there exist an assignment that satisfies all but k clauses. Later Marques-Silva and Planes implemented and extended these ideas. In this paper we present and implement two Partial MaxSAT solvers and the weighted variant of one of them. Both are based on Fu and Malik ideas. We prove the correctness of our algorithm and compare our solver with other (Weighted) MaxSAT and (Weighted) Partial MaxSAT solvers

An empirical study of encodings for group MaxSAT ⋆

Weighted Partial MaxSAT (WPMS) is a well-known optimization variant of Boolean Satisfiability (SAT) that finds a wide range of practical applications.WPMS divides the formula in two sets of clauses: The hard clauses that must be satisfied and the soft clauses that can be unsatisfied with a penalty given by their associated weight. However, some applications may require each constraint to be modeled as a set or group of clauses. The resulting formalism is referred to as Group MaxSAT. This paper overviews Group MaxSAT, and shows how several optimization problems can be modeled as Group MaxSAT. Several en- codings from Group MaxSAT to standard MaxSAT are formalized and refined. A comprehensive empirical study compares the performance of several MaxSAT solvers with the proposed encodings. The results indicate that, depending on the underlying MaxSAT solver and problem domain, the solver may perform better with a given encoding than with the others